#include <stdio.h>

void main()
{
	int  x = 7281;
	
	printf("%#x\n",x);
	printf("%0.2f", 123.456);

}